Collart-Dutilleul, Simon: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 555 KB

english, 2019

2

Implementation of ERTMS: A Methodology Based on Formal Methods and Simulation with Respect to French National Rules

Ferlin, Antoine, Ben-Ayed, Rahma, Sun, Pengfei, Collart-Dutilleul, Simon, Bon, Philippe

Journal:

Transportation Research Procedia

Year:

2016

Language:

english

File:

PDF, 327 KB

english, 2016

3

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Interoperability, performance and resilience of railway transport systems

Collart-Dutilleul, Simon, Rotoli, Francesco

Year:

2015

Language:

english

File:

PDF, 242 KB

english, 2015

4

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.49 MB

english, 2019

5

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 655 KB

english, 2019

6

[ASME 2015 Joint Rail Conference - San Jose, California, USA (Monday 23 March 2015)] 2015 Joint Rail Conference - An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling

Boudi, Zakaryae, El Koursi, El Miloudi, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 1.16 MB

english, 2015

7

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.64 MB

english, 2019

8

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Threat Modeling in the Railway Domain

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.47 MB

english, 2019

9

Cyclic Scheduling Steady-State Analysis and Improved Mathematical Models

ZHANG, Hongchang, COLLART-DUTILLEUL, Simon, MESGHOUNI, Khaled

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 714 KB

english, 2014

10

ROBUST DYNAMIC CONTROL OF MULTI-PRODUCT JOB-SHOPS

Collart-Dutilleul, Simon, Jerbi, Nabil, Craye, Etienne, Benrejeb, Mohammed

Journal:

IFAC Proceedings Volumes

Year:

2007

Language:

english

File:

PDF, 322 KB

english, 2007

11

Active robustness of a milk manufacturing workshop with time constraints

Collart-Dutilleul, Simon, Mhalla, Anis, Craye, Etienne, Benrejeb, Mohamed

Journal:

International Journal of Production Research

Year:

2013

Language:

english

File:

PDF, 6.96 MB

english, 2013

12

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Safe and Time-Optimal Control for Railway Games

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 941 KB

english, 2019

13

Using P-Time Petri Nets for Robust Control of Manufacturing Systems

Aygalinc, Pascal, Calvez, Soizick, Khansa, Wael, Collart-Dutilleul, Simon

Journal:

IFAC Proceedings Volumes

Year:

1997

Language:

english

File:

PDF, 1.50 MB

english, 1997

14

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL, USA (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - HCPN Modeling for ERTMS Requirements Specification

Boudi, Zakaryae, Koursi, El Miloudi El, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 130 KB

english, 2015

15

Simulation and Optimisation of Lift Networks in a Provincial Skiing Resort

Chetouane, Fatah, Bernier, Remy, Collart-Dutilleul, Simon

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 1.29 MB

english, 2010

16

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - A Multi-objective Approach for Assignment Containers to AIVs in a Container Terminal

Zaghdoud, Radhia, Collart-Dutilleul, Simon, Ghedira, Khaled, Mesghouni, Khaled, Zidi, Kamel

Year:

2013

Language:

english

File:

PDF, 411 KB

english, 2013

17

From Place/Transition Petri nets to B abstract machines for safety critical systems

Boudi, Zakaryae, Miloudi, El, Koursi, El, Collart-Dutilleul, Simon

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 957 KB

english, 2015

18

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Integrated approach using formal models and simulation environment

Collart-Dutilleul, Simon, Ferlin, Antoine, Bon, Philippe

Year:

2015

Language:

english

File:

PDF, 84 KB

english, 2015

19

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Safe and Time-Optimal Control for Railway Games

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

File:

PDF, 941 KB

2019

20

Adding Technological Solutions for Safety Improvement at Level Crossings: A Functional Specification

Bahloul, Khaled, Defossez, François, Ghazel, Mohamed, Collart-Dutilleul, Simon

Journal:

Procedia - Social and Behavioral Sciences

Year:

2012

File:

PDF, 503 KB

2012

21

[IEEE 2016 14th International Conference on Control, Automation, Robotics and Vision (ICARCV) - Phuket, Thailand (2016.11.13-2016.11.15)] 2016 14th International Conference on Control, Automation, Robotics and Vision (ICARCV) - Multi-objective optimization for path searching in a flow network with maintenance tasks

Kadri, Hela, Collart-Dutilleul, Simon

Year:

2016

Language:

english

File:

PDF, 326 KB

english, 2016

22

Integration of B Activity into a Global Design Process of Critical Software

Bon, Philippe, Collart-Dutilleul, Simon, Petit, Dorian

Journal:

Procedia - Social and Behavioral Sciences

Year:

2012

File:

PDF, 1001 KB

2012

23

A CPN/B method transformation framework for railway safety rules formal validation

Boudi, Zakaryae, Ben-Ayed, Rahma, El Koursi, El Miloudi, Collart-Dutilleul, Simon, Nolasco, Thomas, Haloua, Mohamed

Journal:

European Transport Research Review

Year:

2017

Language:

english

File:

PDF, 1.96 MB

english, 2017

24

Cyclic Scheduling of Flexible Job-shop with Time Window Constraints and Resource Capacity Constraints

Zhang, Hongchang, Collart-Dutilleul, Simon, Mesghouni, Khaled

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 818 KB

english, 2015

25

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Parallel verification of temporal properties using dynamic analysis

Ferlin, Antoine, Bon, Philippe, Collart-Dutilleul, Simon, Wiels, Virginie

Year:

2015

Language:

english

File:

PDF, 263 KB

english, 2015

26

Functioning mode Management and formal assessment of safety

Bon, Philippe, Collart-Dutilleul, Simon, Defossez, François

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 227 KB

english, 2010

27

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Survey on Formal Methods and Tools in Railways: The ASTRail Approach

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 2.44 MB

english, 2019

28

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Merging Worlds – Aligning Safety and Security

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 916 KB

english, 2019

29

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) ||

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 19.89 MB

english, 2019

30

[IEEE 2011 3rd IEEE International Symposium on Logistics and Industrial Informatics (LINDI 2011) - Budapest, Hungary (2011.08.25-2011.08.27)] 3rd IEEE International Symposium on Logistics and Industrial Informatics - A set of design oriented scientific tools to assist abstract B machine specification

Collart-Dutilleul, Simon, Bon, Philippe, Petit, Dorian

Year:

2011

Language:

english

File:

PDF, 1.26 MB

english, 2011

31

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Connected or Autonomous Trains?

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 461 KB

english, 2019

32

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Colored Petri Nets formal transformation to B machines for safety critical software development

Boudi, Zakaryae, El Koursi, El Miloudi, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 354 KB

english, 2015

33

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Model transformation from coloured Petri nets with prioritized transitions to B machines

Sun, Pengfei, Bon, Philippe, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 332 KB

english, 2015

34

Seaport Productivity Research basing on P-time Petri Net

ZHANG, Hongchang, COLLART-DUTILLEUL, Simon, MESGHOUNI, Khaled

Journal:

IFAC Proceedings Volumes

Year:

2013

Language:

english

File:

PDF, 1013 KB

english, 2013

35

Formal Approach to Control Design of Complex and Dynamical Systems

Kadri, Hela, Ahmed, Samir Ben, Collart-Dutilleul, Simon

Journal:

Procedia Computer Science

Year:

2017

Language:

english

File:

PDF, 389 KB

english, 2017

36

[IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom (2012.09.3-2012.09.5)] Proceedings of 2012 UKACC International Conference on Control - Graph theory: Application to system recovery

Mekki, Ahmed, Collart-Dutilleul, Simon

Year:

2012

Language:

english

File:

PDF, 904 KB

english, 2012

37

Model predictive control of an electroplating line without stopping the production

Becha, Tassadit, Hamri, Hakima, Kara, Redouane, Collart-Dutilleul, Simon

Journal:

The International Journal of Advanced Manufacturing Technology

Year:

2017

Language:

english

File:

PDF, 1.23 MB

english, 2017

38

Complex systems renewal: positioning, concepts and architectural issues

Zolghadri, Marc, Couffin, Florent, Leclaire, Patrice, Collart-Dutilleul, Simon

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 257 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски